CHIP (Constraint Handling in Prolog) is a constraint logic programming language developed by M. Dincbas in 1985 at ECRC. The commercially successful ILOG Solver was an offshoot of CHIP.[1]